1. A modern perspective on type theory :
المؤلف: by Fairouz Kamareddine, Twan Laan, and Rob Nederpelt.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Type theory.,MATHEMATICS-- Infinity.,MATHEMATICS-- Logic.,Type theory.,Type theory.,Typentheorie.
رده :
QA9
.
K225
2004
2. A modern perspective on type theory
المؤلف: / by Fairouz Kamareddine, Twan Laan, and Rob Nederpelt
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Type theory.
رده :
QA9
,.
K225
,
2004
